TSTP Solution File: ITP107^2 by Nitpick---2016